ma{-}prob($M$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($M$.2.2.2.2.2.2.2.2.2.2.2).1($b$)?$\ast$1$\ast$